Book Review: Arithmetic functions and integer products
نویسندگان
چکیده
منابع مشابه
Symbolic Arithmetic and Integer Factorization
In this paper, we create a systematic and automatic procedure for transforming the integer factorization problem into the problem of solving a system of Boolean equations. Surprisingly, the resulting system of Boolean equations takes on a ”life of its own” and becomes a new type of integer, which we call a generic integer. We then proceed to use the newly found algebraic structure of the ring o...
متن کاملWidening Integer Arithmetic
Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit target. To run narrow codes on a wide target machine, we present a widening transformation. Almost every narrow operation can be widened by signor zero-extending the operands and using a target-machine instruction at its natural wid...
متن کاملSolving Linear Integer Arithmetic
We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut procedure to guide the search away from the conflicting states.
متن کاملLinear Integer Arithmetic Revisited
We consider feasibility of linear integer programs in the context of verification systems such as SMT solvers or theorem provers. Although satisfiability of linear integer programs is decidable, many stateof-the-art solvers neglect termination in favor of efficiency. It is challenging to design a solver that is both terminating and practically efficient. Recent work by Jovanović and de Moura co...
متن کاملBook Review: Tortillas Wheat Flour and Corn Products
Corn, Zea mays L., is the cereal with the highest production rate around the world, with an estimated production that exceeded 1021 million tons in 2014 (1). Corn is also the staple food for over 900 million people located in sub-Saharan Africa, South Asia, and Latin America. Around 600 million people are corn dependent, including 120 million malnourished children (2). As an example, the averag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1988
ISSN: 0273-0979
DOI: 10.1090/s0273-0979-1988-15660-1